81. Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 1997 : revised lectures
پدیدآورنده : Willem-Paul de Roever, Hans Langmaack, Amir Pnueli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1536
82. Computational logic
پدیدآورنده : J.W. Lloyd )ed.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Automatic theorem proving - Congresses,Logic, Symbolic and Mathematical - Congresses
رده :
QA
.
A96
,
C654
76
.
9
1990
83. Computational logic
پدیدآورنده : / J .W .Lloyd ( ed )
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96C654
1990
84. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
85. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
86. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
87. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
پدیدآورنده : J.W. Lloyd )ed.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
C65
1990
88. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
پدیدآورنده : J.W. Lloyd )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
A96S97
1990
89. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
90. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
پدیدآورنده : Jacques Calmet, Carla Limongelli, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
91. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
پدیدآورنده : Mandayam Srivas, Albert Camilleri, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1166
92. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
پدیدآورنده : Ganesh Gopalakrishnan, Philip Windley )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1522
93. Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده : Peter E. Lauer, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Functional programming )Computer science(,Congresses ، Parallel programming )Computer science(,Congresses ، Automatic theorem proving,Congresses ، Computer simulation
رده :
QA
76
.
L28
Vol
.
693
94. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
95. Fundamentals of Digital Circuits
پدیدآورنده : Ramayya Kumar
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : Congresses ، Digital integrated circuits - Computer-aided design,Congresses ، Automatic theorem proving
رده :
TK
7874
.
65
.
F23
A54
96. Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers
پدیدآورنده : Christian Laugier )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Computer vision,Congresses ، Robotics,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
708
97. Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Computer vision-- Congresses,، Robotics-- Congresses,، Automatic theorem proving-- Congresses
رده :
Q
334
.
G465
1993
98. Higher order logic theorem proving and its applications :
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA76
.
9
.
H5
1995
99. Higher order logic theorem proving and its applications
پدیدآورنده : / Organized by CHEOPS ESPRIT BRA 3215
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96I34
1993
100. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I34
1992
